تعداد ۴ پاسخ غیر تکراری از ۴ پاسخ تکراری در مدت زمان ۴,۷۰ ثانیه یافت شد.

1. Logic programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 : Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991 : proceedings

پدیدآورنده : A. Voronkov )ed.(

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : Congresses ، Logic programming

رده :

QA

76

.

63

.

R87

1990

2. Logic programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990: second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991: proceedings

پدیدآورنده : A. Voronkov )ed.(

کتابخانه: (طهران)

موضوع : Congresses ، Logic programming

رده :

QA

76

.

L28

Vol

.

592

3. Logic programming and automated reasoning : International Conference LPAR'92, St. Petersburg, Russia, July 15-20, 1992 :proceedings

پدیدآورنده : A. Voronkov, ed

کتابخانه: (طهران)

موضوع : Congresses ، Logic programming,Congresses ، Automatic theorem proving

رده :

QA

76

.

L28

Vol

.

624

4. Logic programming and automated reasoning : 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13-20, 1993 : proceedings

پدیدآورنده : A. Voronkov, )ed.(

کتابخانه: (طهران)

موضوع : Congresses ، Logic programming,Congresses ، Automatic theorem proving

رده :

QA

76

.

L28

Vol

.

698

»
1
«

تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها